package prolog.fluents
import prolog.terms.Const
import prolog.terms.Copier
import prolog.terms.Prog
import scala.reflect.generic.Super

class ListSource extends ScalaSource
{
def ListSource(Xs:Const,p:Prog)
{
  Super(Copier.ConsToVector(Xs),p)
}
}